1. A perspective of constraint-based reasoning :
پدیدآورنده : edited by H.W. Güsgen, J. Hertzberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.
رده :
QA75
.
E358
1992
2. AI and Cognitive Science '92 :
پدیدآورنده : edited by Kevin Ryan, Richard F.E. Sutcliffe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
3. AI game programming wisdom /
پدیدآورنده : edited by Steve Rabin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer games-- Design.,Computer games-- Programming.,Computer graphics.,Artificial intelligence.,Computer games-- Design.,Computer games-- Design.,Computer games-- Programming.,Computer games-- Programming.,Computer graphics.,Computer graphics.,Computeranimation,Computergraphics.,Computerspelen.,Computerspiel,Infographie.,Intelligence artificielle.,Künstliche Intelligenz,Kunstmatige intelligentie.,Ludiciels-- Programmation.,Programmeren (computers),Programmierung,Vormgeving.
رده :
QA76
.
76
.
C672
R33
2002
4. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
5. Advanced topics in artificial intelligence :
پدیدآورنده : Norman Foo, (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
6. Advanced topics in artificial intelligence :
پدیدآورنده : V[ladimír] Mařík, O[lga] Štěpánová, R[obert] Trappl (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : logično programiranje.,računalništvo.,umetna inteligenca.
رده :
Q334
.
V533
1992
7. Advances in Artifical Intelligence :
پدیدآورنده : edited by Gordon McCalla.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1996
8. Agent-Based Defeasible Control in Dynamic Environments.
پدیدآورنده : Dov M Gabbay
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
9. Algebraic and logic programming :
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
10. Algol-like Languages
پدیدآورنده : edited by Peter W. O'Hearn, Robert D. Tennent.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Mathematics.
11. Answer set solving in practice /
پدیدآورنده : Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming.,Logic programming.,Declarative programming.,Logic programming.,MATHEMATICS-- Algebra-- Elementary.
رده :
QA76
.
615
.
A58
2013eb
12. Applications and Science in Soft Computing
پدیدآورنده : edited by Ahamad Lotfi, Jonathan M. Garibaldi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Decision making.,Operations research.
13. Architectural design of multi-agent systems :
پدیدآورنده : Hong Lin [editor].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Electronic data processing-- Distributed processing.,Intelligent agents (Computer software),Computer architecture.,Electronic data processing-- Distributed processing.,Intelligent agents (Computer software)
رده :
QA76
.
76
.
I58
A72
2007
14. Architectural design of multi-agent systems
پدیدآورنده : / Hong Lin [editor]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Intelligent agents (Computer software),Electronic data processing- Distributed processing,Computer architecture
رده :
QA76
.
76
.
I58
,
A72
2007
15. Architectural design of multi-agent systems :technologies and techniques
پدیدآورنده : Hong Lin ]editor[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Intelligent agents )Computer software(,Distributed processing ، Electronic data processing,، Computer architecture
رده :
QA
76
.
76
.
I58
A72
2007
16. Artificial intelligence :
پدیدآورنده : George F. Luger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Knowledge representation (Information theory),LISP (Computer program language),Problem solving.,Prolog (Computer program language),Códigos de corrección (Teoría de la información).,Inteligencia artificial.,Solución de problemas.
رده :
Q335
.
L84
2009
17. Artificial intelligence applications and innovations :
پدیدآورنده : John MacIntyre, Ilias Maglogiannis, Lazaros Iliadis, Elias Pimenidis (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.
رده :
Q334
18. Artificial intelligence techniques :
پدیدآورنده : Alan Bundy, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Data processing.,Künstliche Intelligenz,Programm
رده :
Q336
.
A436
1997
19. Automata, Languages and Programming :
پدیدآورنده : edited by Josep Diaz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Computers.
20. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
